Vienna University of Technology

Results: 346



#Item
11

Opening Workshop “Transformations & Singularities” 15–20 Sep 2014 Vienna University of Technology

Add to Reading List

Source URL: www.dmg.tuwien.ac.at

Language: English - Date: 2014-09-12 15:40:17
    12

    SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology

    Add to Reading List

    Source URL: www.cse.chalmers.se

    Language: English - Date: 2013-12-12 08:42:01
      13

      COMPRESSIVE NONPARAMETRIC GRAPHICAL MODEL SELECTION FOR TIME SERIES Alexander Jung 1, Reinhard Heckel 2, Helmut B¨olcskei 2, and Franz Hlawatsch 1 1 Institute of Telecommunications, Vienna University of Technology, Aus

      Add to Reading List

      Source URL: www.reinhardheckel.com

      - Date: 2018-02-26 14:16:43
        14

        New Methods in Hard Disk Encryption Clemens Fruhwirth <> Institute for Computer Languages Theory and Logic Group Vienna University of Technology

        Add to Reading List

        Source URL: tomb.dyne.org

        - Date: 2011-01-28 17:33:02
          15

          Phase diagram of 4f heavy fermion compounds V. Zlatić, I. Aviani, Institute of physics, Zagreb E. Bauer, Vienna University of Technology Content

          Add to Reading List

          Source URL: hvar10.ifs.hr

          - Date: 2012-05-15 11:31:11
            16

            Poster Session ACAI’09 Belfast Argumentation with Bounded Tree-Width Vienna University of Technology Institute of Information Systems Database and Artificial Intelligence Group

            Add to Reading List

            Source URL: homepage.univie.ac.at

            - Date: 2009-08-18 05:06:02
              17

              Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems? Thomas Eiter, Michael Fink, and Peter Sch¨ uller Institute of Information Systems Vienna University of Technology

              Add to Reading List

              Source URL: www.peterschueller.com

              - Date: 2012-11-15 13:02:25
                18

                Finding Explanations of Inconsistency in Multi-Context Systems∗ ¨ Thomas Eiter and Michael Fink and Peter Schuller and Antonius Weinzierl Institute of Information Systems Vienna University of Technology

                Add to Reading List

                Source URL: www.peterschueller.com

                - Date: 2012-11-15 13:02:25
                  19

                  Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems? Thomas Eiter, Michael Fink, and Peter Sch¨uller Institute of Information Systems Vienna University of Technology Favoritenstrass

                  Add to Reading List

                  Source URL: www.peterschueller.com

                  - Date: 2012-11-15 13:02:25
                    20

                    Name-based view integration for enhancing the reusability in process-driven SOAs Huy Tran1 , Uwe Zdun1 , and Schahram Dustdar1 Distributed Systems Group Information System Institute Vienna University of Technology, Austr

                    Add to Reading List

                    Source URL: eprints.cs.univie.ac.at

                    - Date: 2011-02-16 11:06:13
                      UPDATE